Showing 1 - 4 of 4 Results
1.
Formal Verification of Floating-Point Hardware Design: a Mathematical Approach by Russinoff, David M., Moore,... ISBN: 9783319955124 List Price: $99.99
3.
Formal Verification of Floating-Point Hardware Design : A Mathematical Approach by Russinoff, David M., Moore,... ISBN: 9783030070489 List Price: $99.99